La scrittura scientifica dopo la ‘rivoluzione scientifica’. Tre exempla: Galilei, Darwin, Piaget

Istituto per La Ricerca Scientifica E Tecnologica

Centro per La Ricerca Scientifica E Tecnologica

The Standard Generalized Markup Language SGML and the Extensible Markup Language XML allow authors to better transmit the semantics in their documents by explicitly specifying the relevant structures in a document or class of documents by means of document type de nitions DTDs Several authors proposed to regard DTDs as ex tended context free grammars expressed in a notation similar to extended ...

Istituto per La Ricerca Scientifica E Tecnologica

Agent-based software applications need to incorporate agents having heterogeneous architectures in order for each agent to optimally perform its task. HEMASL is a simple meta-language used to specify intelligent agents and multi-agent systems when different and heterogeneous agent architectures must be used. HEMASL specifications are based on an agent model that abstracts several existing agent...

Istituto per La Ricerca Scientifica E Tecnologica

This report has been submitted for publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of ITC prior to publication should be limited to peer communications and specific requests. After ousid...

Istituto per La Ricerca Scientifica E Tecnologica

Reasoning theories can be used to specify heterogeneous reasoning systems. In this paper we present an equational version of reasoning theories, and we study their structuring and composition, and the use of annotated assertions for the control of search, as mappings between reasoning theories. We define composability and composition using the notion of faithful inclusion mapping, we define ann...